1. Formal Aspects of Component Software
Author: \ [Edited by] Christiano Braga, Peter Csaba Ölveczky
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
Classification :
QA
76
.
9
.
F67
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Formal Aspects of Component Software
Author: \ [edited by] Ivan Lanese, Eric Madelaine.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Formal aspects of component software
Author: Luís Soares Barbosa, Markus Lumpe (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
I585
2010eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Formal methods for components and objects
Author: / Frank S. de Boer ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Component software--Congresses,Object-oriented programming (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
F67
,
F53
,
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Formal methods for components and objects
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: oriented programming (Computer science) ; Congresses. ; -Formal methods (Computer science) ; Congresses. ; Component software ; Congresses. ; Object
![](/design/images/bookmore.png)
7. Formal methods for components and objects :
Author: Frank S. de Boer ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses,Formal methods (Computer science), Congresses,Object-oriented programming (Computer science), Congresses
Classification :
QA76
.
9
.
F67
F53
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
Author: Frank S. de Boer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3188
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
Author: Frank S. de Boer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
2852
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures
Author: Frank S. de Boer... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3657
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)